This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.

Imagine yourself sitting on your front porch, sipping your morning coffee and admiring the scene before you. You see trees, houses, people, automobiles; you see a cat running across the road, and a bee buzzing among the flowers. You see that the flowers are yellow, and blowing in the wind. You see that the people are moving about, many of them on bicycles. You see that the houses are painted different colors, mostly earth tones, and most are one-story but a (...) few are two-story. It is a beautiful morning. Thus the world interfaces with your mind through your senses. There is a strong intuition that we are not disconnected from the world. We and the other things we see around us are part of a continuous whole, and we have direct access to them through vision, touch, etc. However, the philosophical tradition tries to drive a wedge between us and the world by insisting that the information we get from perception is the result of inference from indirect evidence that is about how things look and feel to us. The philosophical problem of perception is then to explain what justifies these inferences. We will focus on visual perception. Figure one presents a crude diagram of the cognitive system of an agent capable of forming beliefs on the basis of visual perception. Cognition begins with the stimulation of the rods and cones on the retina. From that physical input, some kind of visual processing produces an introspectible visual image. In response to the production of the visual image, the cognizer forms beliefs about his or her surroundings. Some beliefs the perceptual beliefs are formed as direct responses to the visual input, and other beliefs are inferred from the perceptual beliefs. The perceptual beliefs are, at the very least, caused or causally influenced by having the image. This is signified by the dashed arrow marked with a large question mark. We will refer to this as the mystery link. Figure one makes it apparent that in order to fully understand how knowledge is based on perception, we need three different theories.. (shrink)

Princeton University Press, 1974. This book is out of print, but can be downloaded as a pdf file (5 MB).

As his editor John L. Stanley points out, Georges Sorel was "that fascinating polymath." This volume, the third in his selected works in the English language published by Transaction, emphasizes Sorel's extraordinary writings in the philosophy of science, religion, culture, and art. For those who know Sorel only as author of Reflections on Violence, the present volume will come as a forceful reminder of the range and depth of Sorelian efforts to construct a world view. Sorel is throughout concerned (...) with the moral development of human beings. In this sense, his writings on politics are of a piece with his writings on religion, "facticity" of human history and society. Sorel's earliest writings were on religion, and key portions of that period are reflected in selections here. And he went on from there to study the sociology of science, the ways in which science fits into the cultural history of civilization and present day social relationships of industrial society. Stanley provides a profound framework based on two decades of close study and translation of Sorel's texts. He helps to explain how the partial theories of Sorel lead to holistic intellectual consequences, how the psychological method does not foreclose political activism, and how historical limits can be transformed against a background of aesthetics or considerations of taste. He shows that Sorel comes as a close as Manheim and Simmel and Durkheim to the creation of a modern social science--albeit he lacks the overall philosophical theorems of people like Marx and Weber. In Sorel we have a first-class mind at work. And in Stanley, we have a first-class analyst at work. Together, the volume adds up to something special for the political scientist, sociologist, art historian, theologian--in short for those to whom the ideal of a human science endures. John L. Stanley is professor of political science at the University of California at Riverside. He is the author of The Sociology of Virtue: The Political and Social Theories of Georges Sorel. He has written many articles and reviews on the history of European political theory. With his wife, Charlotte Stanley, he has been long engaged in the translation of the works of Georges Sorel. (shrink)

The strategy of this paper is to throw light on rational cognition and epistemic justification by examining irrationality. Epistemic irrationality is possible because we are reflexive cognizers, able to reason about and redirect some aspects of our own cognition. One consequence of this is that one cannot give a theory of epistemic rationality or epistemic justification without simultaneously giving a theory of practical rationality. A further consequence is that practical irrationality can affect our epistemic cognition. I argue that (...) practical irrationality derives from a general difficulty we have in overriding built-in shortcut modules aimed at making cognition more efficient, and all epistemic irrationality can be traced to this same source. A consequence of this account is that a theory of rationality is a descriptive theory, describing contingent features of a cognitive architecture, and it forms the core of a general theory of “voluntary” cognition — those aspects of cognition that are under voluntary control. It also follows that most of the so-called “rules for rationality” that philosophers have proposed are really just rules describing default (non- reflexive) cognition. It can be perfectly rational for a reflexive cognizer to break these rules. The “normativity” of rationality is a reflection of a built-in feature of reflexive cognition — when we detect violations of rationality, we have a tendency to desire to correct them. This is just another part of the descriptive theory of rationality. Although theories of rationality are descriptive, the structure of reflexive cognition gives philosophers, as human cognizers, privileged access to certain aspects of rational cognition. Philosophical theories of rationality are really scientific theories, based on inference to the best explanation, that take contingent introspective data as the evidence to be explained. (shrink)

IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..

The strategy of this paper is to throw light on rational cognition and epistemic justification by examining irrationality. Epistemic irrationality is possible because we are reflexive cognizers, able to reason about and redirect some aspects of our own cognition. One consequence of this is that one cannot give a theory of epistemic rationality or epistemic justification without simultaneously giving a theory of practical rationality. A further consequence is that practical irrationality can affect our epistemic cognition. I argue that (...) practical irrationality derives from a general difficulty we have in overriding built-in shortcut modules aimed at making cognition more efficient, and all epistemic irrationality can be traced to this same source. A consequence of this account is that a theory of rationality is a descriptive theory, describing contingent features of a cognitive architecture, and it forms the core of a general theory of “voluntary” cognition — those aspects of cognition that are under voluntary control. It also follows that most of the so-called “rules for rationality” that philosophers have proposed are really just rules describing default (non- reflexive) cognition. It can be perfectly rational for a reflexive cognizer to break these rules. The “normativity” of rationality is a reflection of a built-in feature of reflexive cognition — when we detect violations of rationality, we have a tendency to desire to correct them. This is just another part of the descriptive theory of rationality. Although theories of rationality are descriptive, the structure of reflexive cognition gives philosophers, as human cognizers, privileged access to certain aspects of rational cognition. Philosophical theories of rationality are really scientific theories, based on inference to the best explanation, that take contingent introspective data as the evidence to be explained. (shrink)

Two seemingly complementary trends stand out currently in school science education in the United States: one is the increased emphasis on inquiry activities in classrooms, and the other is the high level of attention given to student understanding of the nature of science. This essay looks at the range of activities that fall within the first trend, noting, in particular, the growing popularity of inquiry activities that engage students in engineering-type tasks. The potential for public disengagement from science and technology (...) issues is described as a result of the continued juxtaposition of these sorts of inquiry activities with our current, idealized portrayals of the nature of science—the emphasis of the second trend. Drawing on Dewey's instrumental theory of knowledge, an alternative way of thinking about science is offered that would not only provide for a more authentic understanding of science, but also invite much needed public participation in the broad governance of science in modern-day democratic societies. (shrink)

The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.

A weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that beefing up WST with moderate extensionality principles or quotient sets enables the derivation to go through.

We investigate Hilbert’s varepsilon -calculus in the context of intuitionistic type theories, that is, within certain systems of intuitionistic higher-order logic. We determine the additional deductive strength conferred on an intuitionistic type theory by the adjunction of closed varepsilon -terms. We extend the usual topos semantics for type theories to the varepsilon -operator and prove a completeness theorem. The paper also contains a discussion of the concept of “partially defined‘ varepsilon -term. MSC: 03B15, 03B20, 03G30.

Stuart Russell [14] describes rational agents as --œthose that do the right thing--�. The problem of designing a rational agent then becomes the problem of figuring out what the right thing is. There are two approaches to the latter problem, depending upon the kind of agent we want to build. On the one hand, anthropomorphic agents are those that can help human beings rather directly in their intellectual endeavors. These endeavors consist of decision making and data processing. An agent that (...) can help humans in these enterprises must make decisions and draw conclusions that are rational by human standards of rationality. Anthropomorphic agents can be contrasted with goal-oriented agents --” those that can carry out certain narrowly-defined tasks in the world. Here the objective is to get the job done, and it makes little difference how the agent achieves its design goal. (shrink)

Practical reasoning aims at deciding what actions to perform in light of the goals a rational agent possesses. This has been a topic of interest in both philosophy and artificial intelligence, but these two disciplines have produced very different models of practical reasoning. The purpose of this paper is to examine each model in light of the other and produce a unified model adequate for the purposes of both disciplines and superior to the standard models employed by either.The philosophical (decision-theoretic) (...) model directs activity by evaluating acts one at a time in terms of their expected utilities. It is argued that, except in certain special cases, this constitutes an inadequate theory of practical reasoning leading to intuitively incorrect action prescriptions. Acts must be viewed as parts of plans, and plans evaluated as coherent units rather than piecemenal in terms of the acts comprising them. Rationality dictates choosing acts by first choosing the plans prescribing them. Plans, in turn, are compared by looking at their expected values. However, because plans can be embedded in one another, we cannot select plans just by maximizing expected values. Instead, we must employ a more complex criterion here named coextendability. (shrink)

This article sketches a theory of objective probability focusing on nomic probability, which is supposed to be the kind of probability figuring in statistical laws of nature. The theory is based upon a strengthened probability calculus and some epistemological principles that formulate a precise version of the statistical syllogism. It is shown that from this rather minimal basis it is possible to derive theorems comprising (1) a theory of direct inference, and (2) a theory of induction. (...) The theory of induction is not of the familiar Bayesian variety, but consists of a precise version of the traditional Nicod Principle and its statistical analogues. (shrink)

In this paper the view is developed that classes should not be understood as individuals, but, rather, as "classes as many" of individuals. To correlate classes with individuals "labelling" and "colabelling" functions are introduced and sets identified with a certain subdomain of the classes on which the labelling and colabelling functions are mutually inverse. A minimal axiomatization of the resulting system is formulated and some of its extensions are related to various systems of set theory, including nonwellfounded set theories.

ArgumentIn 1909, Italian zoologist Daniele Rosa (1857–1944) proposed a radical new evolutionary theory: hologenesis, or simultaneous, pan-terrestrial creation and evolution driven primarily by internal factors. Hologenesis was widely ignored or rejected outside Italy, but Swiss-French anthropologist George Montandon (1879–1944) eagerly embraced and developed the theory. An ambitious careerist, Montandon’s deep investment in an obscure and unpopular theory is puzzling. Today, Montandon is best known for his virulent antisemitism and active collaboration with the Nazi occupation of France at (...) the end of his career. By that point, however, he had quietly moved away from hologenesis. This shift has gone unnoticed or been left unexplained in existing research. This article reexamines Montandon’s theoretical outlook and reasons for championing Rosa’s forgotten theory. It argues that while Montandon’s adoption of hologenesis arose from a complex blend of scientific and personal factors, his previously overlooked early fieldwork with the Ainu played a key role. In contrast, hologenesis did not inform Montandon’s later public antisemitism. (shrink)

When your word processor or email program is running on your computer, this creates a "virtual machine” that manipulates windows, files, text, etc. What is this virtual machine, and what are the virtual objects it manipulates? Many standard arguments in the philosophy of mind have exact analogues for virtual machines and virtual objects, but we do not want to draw the wild metaphysical conclusions that have sometimes tempted philosophers in the philosophy of mind. A computer file is not made of (...) epiphenomenal ectoplasm. I argue instead that virtual objects are "supervenient objects". The stereotypical example of supervenient objects is the statue and the lump of clay. To this end I propose a theory of supervenient objects. Then I turn to persons and mental states. I argue that my mental states are virtual states of a cognitive virtual machine implemented on my body, and a person is a supervenient object supervening on his cognitive virtual machine. (shrink)

In a number of recent papers I have been developing the theory of "nomic probability," which is supposed to be the kind of probability involved in statistical laws of nature. One of the main principles of this theory is an acceptance rule explicitly designed to handle the lottery paradox. This paper shows that the rule can also handle the paradox of the preface. The solution proceeds in part by pointing out a surprising connection between the paradox of the (...) preface and the gambler's fallacy. (shrink)

(1984). Weather foreasting and the development of meteorological theory at the Paris Observatory, 1853–1878. Annals of Science: Vol. 41, No. 4, pp. 359-382.

As a preliminary to the modern theory of measurement with which this paper is chiefly concerned, it is desirable to review a few of the characteristics and implications of classical physics to illustrate the far reaching changes that have taken place in our conception of nature as the result of the development of quantum mechanics.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.

Counterexamples are constructed for classical decision theory, turning on the fact that actions must often be chosen in groups rather than individually, i.e., the objects of rational choice are plans. It is argued that there is no way to define optimality for plans that makes the finding of optimal plans the desideratum of rational decision-making. An alternative called “locally global planning” is proposed as a replacement for classical decision theory. Decision-making becomes a non-terminating process without a precise target (...) rather than a terminating search for an optimal solution. (shrink)

subsets X of A for which ∃x (x ∈ A). The set of functions from A to B is denoted by BA.

The present study is the result of two questions which arose in dealing with the Critique of Pure Reason. What is the relationship of the “Doctrine of Method” to the “Doctrine of Elements?” Does the “Doctrine of Method” tell us anything important about Kant and his philosophy? It will be the contention of this paper that the second half of the Critique relies heavily on the “Doctrine of Elements,” and is a natural expansion of the first half of the Critique. (...) In effect, this is a tentative denial of Norman Kemp Smith’s patchwork thesis. With respect to the second question mentioned above, we shall see that Kant does have a very special place for methodology in his philosophy. This methodology of philosophy has implications for a theory of the division of the sciences and the method proper to each of them. (shrink)

Just as the development of relativity theory and quantum mechanics have been the defining events of twentieth-century science, the burgeoning field of cognitive science is often trumpeted as being a glimpse into the future of the center of science in the coming century. In this paper, we examine this claim, asking whether the so-called cognitive “revolution” is indeed revolutionary or, on theother hand, is merely a flash-in-the-pan, scientifically speaking. As a point of perspective on this question, the paper looks (...) at the claims and accomplishments of artificial inteIligence, as well as the research agenda of workers in the currently fashionable field of artificial life. The paper concludes with some speculations about what directions the “cognitive revolution” is likely to take over the comingdecade or two. (shrink)

This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a (...) comparatively short article, I have elected to offer detailed technical presentations of just a few important instances. (shrink)

Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.

Arthur Hatto was an outstanding scholar of German studies at the University of London who formulated a theory of epic heroic poetry. He was recruited to work in the cryptographic bureau at the Foreign Office in February 1939 and afterwards worked at Bletchley Park. Later, in order to study epic poetry, Hatto taught himself Russian and Kirghiz. He was elected as a Senior Fellow of the British Academy in 1991. Obituary by John L. Flood.

Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so on the theory of real numbers, the idea behind the synthetic approach is to furnish the subject of geometry with a purely geometric foundation in which the theorems are then deduced by purely logical means from an initial body of postulates. The most familiar examples of the synthetic geometry (...) are classical Euclidean geometry and the synthetic projective geometry introduced by Desargues in the 17th century and revived and developed by Carnot, Poncelet, Steiner and others during the 19th century. The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry, leading in particular to differential geometry (a term, by the way, introduced in 1894 by the Italian geometer Luigi Bianchi). That being the case, the idea of a “synthetic” differential geometry seems elusive: how can differential geometry be placed on a “purely geometric” or “axiomatic” foundation when the apparatus of the calculus seems inextricably involved? To my knowledge there have been two attempts to develop a synthetic differential geometry. The first was initiated by Herbert Busemann in the 1940s, building on earlier work of Paul Finsler. Here the idea was to build a differential geometry that, in its author’s words, “requires no derivatives”: the basic objects in Busemann’s approach are not differentiable manifolds, but metric spaces of a certain type in which the notion of a geodesic can be defined in an intrinsic manner. I shall not have anything more to say about this approach. The second approach, that with which I shall be concerned here, was originally proposed in the 1960s by F. W. Lawvere, who was in fact striving to fashion a decisive axiomatic framework for continuum mechanics.. (shrink)

The objective of the OSCAR Project is twofold. On the one hand, it is to construct a general theory of rational cognition. On the other hand, it is to construct an artificial rational agent (an "artilect") implementing that theory. This is a joint project in philosophy and AI.

to indicate that the object a is an element or member of the class A. We assume that every member of a class is an object. Lower-case letters a, b, c, x, y, z, … will always denote objects, and later, sets. Equality between classes is governed by the Axiom of Extensionality.

In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and attempts to complete the arguments rely upon incorrect principles of rational decision making. It is argued that by considering how the predictor is making his prediction, we can generate a more complete argument, and this in turn supports a form of causal decision theory.

This book is written for those who are in sympathy with its spirit. This spirit is different from the one which informs the vast stream of European and American civilization in which all of us stand. That spirit expresses itself in an onwards movement, in building ever larger and more complicated structures; the other in striving in clarity and perspicuity in no matter what structure. The first tries to grasp the world by way of its periphery—in its variety; the second (...) at its centre—in its essence. And so the first adds one construction to another, moving on and up, as it were, from one thing to the next, while the other remains where it is and what it tries to grasp is always the same. (shrink)

To fully understand human language, an evolved trait that develops in the young without formal instruction, it must be possible to observe language that has not been influenced by instruction. But in modern societies, much of the language that is used, and most of the language that is measured, is confounded by literacy and academic training. This diverts empirical attention from natural habits of speech, causing theorists to miss critical features of linguistic practice. To dramatize this point, I examine data (...) from a special population––the canal boat children of early twentieth century England––whose language developed without academic influence, but was evaluated using instruments designed primarily for academic use. These data, taken together with related research, suggest that formal instruction can convert language from a purely biological trait that was selected, to a talent that was instructed, while altering the users of language themselves. I then review research indicating that formal instruction can also mask or distort inter-sexual differences in the social applications of language, a significant handicap to evolutionary theorizing. I conclude that if biological theories of language are to succeed, they must explain the spontaneous speaking practices of naturally behaving individuals. (shrink)

Newcomb's paradox was first presented by Robert Nozick and has been discussed by a considerable number of writers. You are playing a game with a Being who seems to have extraordinary predictive powers. Before you are two boxes, in one of which you can see $1,000. The other is closed and you cannot see what it contains, but you know that the Being has put a million dollars into it if he has predicted that you will take it only, but (...) nothing if he has predicted that you will take both boxes; you may take either both boxes or the closed one only. The Being has correctly predicted the choices of all who have so far played with him. What should you do?Let us call the Being the seer, and his opponent the player. I should also like to reduce the amount that may, or may not, be in the closed box to $10,000. Nearly everyone could make good use of $1,000 and better use of $10,000 or $11,000, but it is hard to say whether a million dollars would be a blessing or a curse. (shrink)

One widely recognized difference between laws and accidental generalizations lies in the ability of the former versus the inability of the latter to support certain sorts of related subjunctive conditionals. Nelson Goodman's theory of projectibility is here evaluated on the basis of its implications for the relative acceptability of conflicting subjunctive conditionals or counterfactuals. It is argued that the theory's extensionalistic character precludes its dealing adequately with cases of a certain type in which the difference between two counterfactuals, (...) one acceptable and the other unacceptable, is clearly related to a difference in nomological status between their indicative counterparts. (shrink)

The objective of this book is to produce a theory of rational decision making for realistically resource-bounded agents. My interest is not in “What should I do if I were an ideal agent?”, but rather, “What should I do given that I am who I am, with all my actual cognitive limitations?” The book has three parts. Part One addresses the question of where the values come from that agents use in rational decision making. The most comon view among (...) philosophers is that they are based on preferences, but I argue that this is computationally impossible. I propose an alternative theory somewhat reminiscent of Bentham, and explore how human beings actually arrive at values and how they use them in decision making. Part Two investigates the knowledge of probability that is required for decision-theoretic reasoning. I argue that subjective probability makes no sense as applied to realistic agents. I sketch a theory of objective probability to put in its place. Then I use that to define a variety of causal probability and argue that this is the kind of probability presupposed by rational decision making. So what is to be defended is a variety of causal decision theory. Part Three explores how these values and probabilities are to be used in decision making. In chapter eight, it is argued first that actions cannot be evaluated in terms of their expected values as ordinarily defined, because that does not take account of the fact that a cognizer may be unable to perform an action, and may even be unable to try to perform it. An alternative notion of “expected utility” is defined to be used in place of expected values. In chapter nine it is argued that individual actions cannot be the proper objects of decision-theoretic evaluation. We must instead choose plans, and select actions indirectly on the grounds that they are prescribed by the plans we adopt. However, our objective cannot be to find plans with maximal expected utilities. Plans cannot be meaningfully compared in that way. (shrink)

Reliabilist theories propose to analyse epistemic justification in terms of reliability. This paper argues that if we pay attention to the details of probability theory we find that there is no concept of reliability that can possibly play the role required by reliabilist theories. A distinction is drawn between the general reliability of a process and the single case reliability of an individual belief, And it is argued that neither notion can serve the reliabilist adequately.